Abstract type

Results: 1261



#Item
451Data / Technical communication / Markup languages / ISO standards / DocBook / RELAX NG / Schematron / Document Type Definition / Document Type Declaration / Computing / XML / Information

The xmltool command-line utility Hussein Shafie, Pixware <> April 21, 2015 Abstract This document is the reference manual of the xmltool command-line utility. The xmltool command-line utility

Add to Reading List

Source URL: www.xmlmind.com

Language: English - Date: 2015-04-20 04:21:39
452Fish anatomy / Fishkeeping / Fin / Batoidea / Rajiform / Biology / Ichthyology / Locomotion / Zoology

A COMPREHENSIVE ALLOMETRIC ANALYSIS OF BIO-MIMETIC MPF-TYPE UUVS John S. Palmisano, Marius Pruessner, and Jason D. Geder Abstract— An extensive literature review was performed to create a comprehensive allometric analy

Add to Reading List

Source URL: www.societyofrobots.com

Language: English - Date: 2013-08-02 20:34:55
453Standard Generalized Markup Language / Document Type Definition / Text Encoding Initiative / HTML / HyTime / Exhibition catalogue / Markup languages / Computing / Technical communication

Getting a handle on exhibition catalogues the Project CHIO DTD Richard Light CIMI Consultant Abstract

Add to Reading List

Source URL: www.archimuse.com

Language: English - Date: 2011-09-09 18:19:19
454Diabetes mellitus type 2 / Diabetes mellitus / Major depressive disorder / Hypoglycemia / Compliance / Health / Medicine / Diabetes

Microsoft Word - Bogner abstract.doc

Add to Reading List

Source URL: www.med.upenn.edu

Language: English - Date: 2013-02-01 13:57:07
455Computer programming / Programming paradigms / Data types / Object / Mathematics / Abstraction / Mathematical object / Computer science / Abstract data type / Software engineering / Computing / Object-oriented programming

Using the Synergies Between the Object-Oriented Paradigm and Mathematics in Joint Mathematics/Computer Science Programs Marc Conrad Tim French

Add to Reading List

Source URL: ring.perisic.com.

Language: English - Date: 2004-06-25 12:35:33
456Bibliography / Academic publishing / APA style / American Psychological Association / Abstract / Citation / Research / Type system / Psychology / Knowledge / Education / Academia

An Introduction to APA Style A Student Guide for the 6th edition (2nd printing) of the APA Publication Manualmcym

Add to Reading List

Source URL: jflcc.com

Language: English - Date: 2013-09-28 17:15:44
457XML / ISO standards / Java API for XML Processing / Document Type Definition / XSLT / Standard Generalized Markup Language / Namespace / Simple API for XML / XML Schema Language comparison / Computing / Markup languages / Technical communication

Handling Hierarchical Events In An Internet-Scale Event Service Justin R. Erenkrantz 25th March 2001 Abstract During the course of developing a generic library for converting XML-based events to SIEN

Add to Reading List

Source URL: www.erenkrantz.com

Language: English - Date: 2010-08-20 02:44:34
458Khoisan languages / Grammar / Khoisan / Linguistic modality / Clitic / Language / Grammatical particle / Grammatical category / Grammatical aspect / Linguistics / Semantics / Syntax

SOAS, December 2011 !Xun, a special language type? Christa Koenig Abstract !Xun belongs to what previously has been called Northern Khoisan, spoken in southwestern Africa by people who traditionally are hunter-gatherers.

Add to Reading List

Source URL: www.hrelp.org

Language: English - Date: 2011-09-23 14:30:27
459Proof theory / Propositional calculus / Dependently typed programming / Type theory / Formal languages / First-order logic / Natural deduction / Higher-order abstract syntax / Logical framework / Logic / Mathematical logic / Mathematics

LOGICAL FRAMEWORKS—A BRIEF INTRODUCTION FRANK PFENNING () Carnegie Mellon University Abstract. A logical framework is a meta-language for the formalization of deductive systems. We provide a brief introdu

Add to Reading List

Source URL: www.cs.cmu.edu

Language: English - Date: 2002-01-24 22:28:32
460Programming language theory / OCaml / Type system / ML / Subtype polymorphism / Type inference / System F / Lambda calculus / Type safety / Software engineering / Type theory / Computing

OCaml + XDuce Alain Frisch INRIA Rocquencourt Abstract

Add to Reading List

Source URL: www.cduce.org

Language: English - Date: 2013-12-06 16:18:27
UPDATE